push-button time switch - German English Dictionary